Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
991	Expressiveness of streaming string transducers Rajeev Alur1 and Pavol Černý[removed]University of Pennsylvania Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-12-13 12:13:47 Theoretical computer science Software engineering Models of computation Data types Primitive types Finite state transducer Finite-state machine Regular language String Formal languages Automata theory Mathematics
992	Wolniewicz and the Formal Ontology of Situations Add to Reading List Source URL: www.ontologysa.com Language: English - Date: 2013-12-06 07:01:04 Ontology Formal sciences Branches of philosophy Philosophy of language Philosophical logic Jerzy Perzanowski Ludwig Wittgenstein Logical atomism Formal ontology Philosophy Science Logic
993	Analysis and Synthesis: Interdependent Operations in Chemical Language and Practice Add to Reading List Source URL: hyle.org Language: English - Date: 2013-03-20 19:45:43 Chemical formulas Formal languages Logical syntax Metalogic Chemical compound Chemical substance Chemist Chemical synthesis Chemical element Chemistry Science Logic
994	Wolniewicz and the Formal Ontology of Situations Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2013-12-06 06:47:13 Ontology Formal sciences Branches of philosophy Philosophy of language Philosophical logic Jerzy Perzanowski Ludwig Wittgenstein Logical atomism Formal ontology Philosophy Science Logic
995	Suszko and the non-Fregean-Logics Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 03:31:18 Philosophy of language Classical logic Mathematical logic Jerzy Perzanowski Gottlob Frege Interpretation Algebraic logic Formal semantics Modal logic Logic Propositional calculus Philosophical logic
996	PLMMS Preface This volume contains the papers presented at PLMMS-2013: 5th International Workshop on Programming Languages for Mechanised Mathematical Systems 2013 held on July 9, 2013 in Bath. There were 3 submissions. Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-10 05:43:59 Type theory Functional languages Logic in computer science Formal methods Theory of computation Dependent type Agda Formal verification Typed lambda calculus Programming language theory Theoretical computer science Software engineering
997	Non-Projective Parsing for Statistical Machine Translation Xavier Carreras Michael Collins MIT CSAIL, Cambridge, MA 02139, USA {carreras,mcollins}@csail.mit.edu S Add to Reading List Source URL: upcommons.upc.edu Language: English - Date: 2013-10-09 07:48:16 Grammar Machine translation Formal languages Parse tree Parsing Statistical machine translation Treebank Formal grammar Phrase Linguistics Statistical natural language processing Syntax
998	Finite-State Non-Concatenative Morphotactics Kenneth R. Beesley and Lauri Karttunen [removed], [removed] arXiv:cs.CL[removed]v1 30 Jun 2000 Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-02-15 07:09:25 Computing Combinatorics Models of computation Grammar Combinatorics on words Finite state transducer String Regular language Finite-state machine Formal languages Automata theory Linguistics
999	Microsoft Word - VIStology Cogsima 13 Feb 2012.docx Add to Reading List Source URL: www.ece.neu.edu Language: English - Date: 2012-11-03 11:42:36 Science Information science Knowledge representation Knowledge engineering Semantics of Business Vocabulary and Business Rules Web Ontology Language Rule Interchange Format Formal ontology Business rule Semantic Web Ontology Information
1000	Increasing Engagement in Automata Theory With JFLAP Susan H. Rodger Eric Wiebe Kyung Min Lee Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2009-01-09 06:06:20 Theoretical computer science Computing Compiling tools Automata theory Theory of computation Parsing CYK algorithm LL parser Formal grammar Formal languages Mathematics Programming language implementation